Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)
by Karin Breitman
ISBN 13: 9783642103728
Format: Paperback (776 pages) Publisher: Springer Published: 17 Nov 2009
Save for later